Date: Tue, 10 Dec 1996 21:30:32 GMT
Server: NCSA/1.4.2
Content-type: text/html
Last-modified: Thu, 03 Oct 1996 19:16:17 GMT
Content-length: 1512

<HTML>

<HEAD>
  <BASE HREF="http://www.cs.washington.edu/homes/vivek/index.html">
  <TITLE>Vivek Ratan's Publications</TITLE>
</HEAD>

<BODY bgcolor="#FFEEAA" text="#000000" link="Red" vlink="RoyalBlue">

Some of my publications: 

<ul>
<li>
<a href="ftp://ftp.cs.cmu.edu/user/mootaz/papers/icodp95.ps">
"Experiences Using DCE and CORBA to Build Tools for Creating Highly-Available
Distributed Systems," </a> E.N. Elnozahy, V. Ratan, and M.E. Segal.
<i> In Proceedings of the IFIP International Conference on Open Distributed
Processing (ICODP'95), February, 1995. </i>
Also available as technical report
CMU-CS-95-117.

<li>
<a href="ftp://ftp.cs.cmu.edu/user/mootaz/papers/bellcore96.ps">
"Highly Available Directory Services in DCE"</a>, B. Acevedo, L. Bahler, 
E. N. Elnozahy, V. Ratan, M. E. Segal. <i> In Proceedings of the Twenty-sixth
Annual International Symposium on Fault-Tolerant Computing (FTCS-26), June
1996. </i>

<li> 
<a href="http://www.cs.washington.edu/research/projects/safety/www/papers/nasa/draft3.ps">
"A CAD Environment for Safety-Critical Software"</a>, Nancy Leveson, Ken 
Bauer, Mats Heimdahl, Wayne Ohlrich, Kurt Partridge, Vivek Ratan, and Jon 
Reese. <i>NASA Conference on Safety Through Quality 1995.</i>

<li>
<a href="http://www.cs.washington.edu/research/projects/safety/www/papers/compass96.ps">
"Safety Analysis Tools for Requirements Specifications"</a>, Vivek Ratan, Kurt
Partridge, Jon Reese, and Nancy Leveson. <i>Published in COMPASS '96.</i>

</ul>
 
</BODY>
</HTML>
